翻訳と辞書
Words near each other
・ recurrence relation
・ recurse
・ recursion
・ recursion theory
・ recursive
・ recursive acronym
・ recursive definition
・ recursive descent parser
・ recursive functional algorithmic language
・ recursive macro actuated generator
recursive type
・ red
・ red book
・ red brick intelligent sql
・ red hat
・ red wire
・ red zone
・ redcode
・ redex
・ redilisp


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

recursive type : FOLDOC
recursive type
A data type which contains itself. The commonest example is the list type, in Haskell:
data List a = Nil | Cons a (List a)

which says a list of a's is either an empty list or a {cons cell} containing an 'a' (the "head" of the list) and another list (the "tail").
Recursion is not allowed in Miranda or Haskell {synonym types}, so the following Haskell types are illegal:
type Bad = (Int, Bad)
type Evil = Bool -> Evil

whereas the seeminly equivalent algebraic data types are acceptable:
data Good = Pair Int Good
data Fine = Fun (Bool->Fine)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.